Towards Eecient Modelling of Distributed Knowledge Using Equational and Order-sorted Logic

Reasoning about multiple interacting agents is important for many areas of research such as distributed computing, artiicial intelligence , game theory, decision theory, cognitive science, economics and psychology. J. Y. Halpern and colleagues HM90, HF89, HT93] have proposed the use of multiagent epistemic logics to formalise reasoning about multiple agents. In the present paper we extend their proposal to allow grouping of agents, and propose a strategy to build eecient resolution-based logic programs for automated reasoning about interacting agents.